Parallel algorithm

Results: 759



#Item
191Actuarial science / Econometrics / Regression analysis / Algorithm / Parallel computing / IP / Actor model / Applied mathematics / Mathematics / Theoretical computer science

Categories and Subject Descriptors D.2.4 [Software Engineering]: Software/Program Verification; D.2.5 [Software Engineering]: Testing and Debugging Keywords Asynchronous programming; state machines; concurrency; static d

Add to Reading List

Source URL: www.doc.ic.ac.uk

Language: English - Date: 2015-04-20 15:35:55
192Algorithm / Robot / Scalability / Multi-core processor / ROS / Operating system / Humanoid robot / Multiprocessing / Speech recognition / Computing / Concurrent computing / Parallel computing

Resource-Aware Programming for Robotic Vision Johny Paul, Walter Stechele Manfred Kr¨ohnert, Tamim Asfour, Technical University of Munich,

Add to Reading List

Source URL: h2t.anthropomatik.kit.edu

Language: English - Date: 2014-08-20 07:43:32
193Models of computation / Parallel algorithm / Scalability / Parallel Random Access Machine / David May / Concurrent computing / Computing / Parallel computing

Universal Processors David May Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-09-18 04:57:55
194Computing / Data / Software transactional memory / Rock / Non-blocking algorithm / CPU cache / Transactional memory / Parallel computing / Linearizability / Concurrency control / Transaction processing / Data management

Opportunities and pitfalls of multi-core scaling using Hardware Transaction Memory∗ Zhaoguo Wang†, Hao Qian‡, Haibo Chen‡, Jinyang Li§ † School of Computer Science, Fudan University ‡ Institute of Parallel a

Add to Reading List

Source URL: news.cs.nyu.edu

Language: English - Date: 2013-07-16 15:24:14
195Concurrency / Linearizability / Algorithm / Tree traversal / Mutual exclusion / Non-blocking algorithm / Concurrent data structure / Parallel computing / Priority queue / Concurrency control / Computing / Data management

Deriving Linearizable Fine-Grained Concurrent Objects Martin Vechev Eran Yahav IBM Research

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English
196Theoretical computer science / Linear programming / Mathematical optimization / Travelling salesman problem / Stochastic programming / Search algorithm / Stochastic optimization / Sudoku algorithms / Operations research / Mathematics / Applied mathematics

Parallel Branch-and-Bound for Two-Stage Stochastic Integer Optimization Akhil Langer‡ , Ramprasad Venkataraman‡ , Udatta Palekar∗ , Laxmikant V. Kale‡ ‡ Department of Computer Science, ∗ College of Business

Add to Reading List

Source URL: charm.cs.illinois.edu

Language: English - Date: 2014-02-05 22:25:28
197Numerical analysis / Cybernetics / Search algorithms / Parallel metaheuristic / Evolutionary computation / Evolutionary algorithm / Multi-objective optimization / Algorithm / Java Evolutionary Computation Toolkit / Mathematical optimization / Applied mathematics / Mathematics

Asynchronous Master-Slave Parallelization of Differential Evolution for Multiobjective Optimization Matjaˇz Depolli Department of Communication Systems, Joˇzef Stefan Institute, Jamova cesta 39,

Add to Reading List

Source URL: www-e6.ijs.si

Language: English - Date: 2013-08-01 05:14:14
198Transaction processing / Memory management / Linearizability / Parallel computing / Concurrent data structure / Non-blocking algorithm / Garbage collection / Algorithm / Sequential consistency / Computing / Concurrent computing / Concurrency control

Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2009-09-25 09:19:19
199Models of computation / Parallel algorithm / Scalability / Parallel Random Access Machine / David May / Concurrent computing / Computing / Parallel computing

Universal Processors David May Bristol

Add to Reading List

Source URL: www.cs.bris.ac.uk

Language: English - Date: 2014-09-18 04:57:55
200Transaction processing / Concurrency / Computer memory / Linearizability / Concurrent computing / Non-blocking algorithm / Memory barrier / Sequential consistency / Parallel computing / Computing / Concurrency control / Computer architecture

Dynamic Synthesis for Relaxed Memory Models Feng Liu Nayden Nedev Nedyalko Prisadnikov

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2012-03-27 11:34:59
UPDATE